Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
EQLog Algebraic Logic Functional language LeFun LOGIN FUNLOG BABEL Distributed Logic Programming assertion SFLV Prolog++ Constraint Handling In Prolog LML TABLOG APPLOG Lolli Pandora GAPLog Parlog Lambda Prolog Echidna CLP(R) Wild_LIFE fact Constraint Logic Programming CELP Sequential Parlog Machine CLP(sigma*) TEMPLOG LO definitional constraint programming logic variable logic instantiation neutrosophic logic HiLog EPILOG Programmable Array Logic Shugart Associates {log} ELP HCLP ObjVProlog Subset-Equational Language L&O Prolog logic programming Baroque quantifier ALLOY propositional logic goal AND G guard PowerFuL predicate logic two-valued logic equational logic IC-Prolog LEAF more...